155 research outputs found
Continuous dielectric permittivity I: Specific features of the dielectric continuum solvation model with a position-dependent permittivity function
We consider a modified formulation for the recently developed new approach in
the continuum solvation theory (Basilevsky, M. V., Grigoriev, F. V., Nikitina,
E. A., Leszczynski, J., J. Phys. Chem. B 2010, 114, 2457), which is based on
the exact solution of the electrostatic Poisson equation with the
space-dependent dielectric permittivity. Its present modification ensures the
property curl E = 0 for the electric strength field E inherent to this
solution, which is the obligatory condition imposed by Maxwell equations. The
illustrative computation is made for the model system of the point dipole
immersed in a spherical cavity of excluded volume.Comment: 31 pages, 4 figure
Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
In this paper, we consider modal multilattices with Tarski, Kuratowski, and Halmos closure and interior operators as well as the corresponding logics which are multilattice versions of the modal logics MNT4, S4, and S5, respectively. The former modal multilattice logic is a new one. The latter two modal multilattice logics have been already mentioned in the literature, but algebraic completeness results have not been established for them before. We present a multilattice version of MNT4 in a form of a sequent calculus and prove the algebraic and neighbourhood completeness theorems for it. We extend the algebraic completeness result for the multilattice versions of S4 and S5 as well
Relevant generalization starts here (and here = 2)
There is a productive and suggestive approach in philosophical logic based on the idea of generalized truth values. This idea, which stems essentially from the pioneering works by J.M. Dunn, N. Belnap, and which has recently been developed further by Y. Shramko and H. Wansing, is closely connected to the power-setting formation on the base of some initial truth values. Having a set of generalized truth values, one can introduce fundamental logical notions, more specifically, the ones of logical operations and logical entailment. This can be done in two different ways. According to the first one, advanced by M. Dunn, N. Belnap, Y. Shramko and H. Wansing, one defines on the given set of generalized truth values a specific ordering relation (or even several such relations) called the logical order(s), and then interprets logical connectives as well as the entailment relation(s) via this ordering(s). In particular, the negation connective is determined then by the inversion of the logical order. But there is also another method grounded on the notion of a quasi-field of sets, considered by Białynicki-Birula and Rasiowa. The key point of this approach consists in defining an operation of quasi-complement via the very specific function g and then interpreting entailment just through the relation of set-inclusion between generalized truth values.In this paper, we will give a constructive proof of the claim that, for any finite set V with cardinality greater or equal 2, there exists a representation of a quasi-field of sets <P(V ), ∪, ∩, −> isomorphic to de Morgan lattice. In particular, it means that we offer a special procedure, which allows to make our negation de Morgan and our logic relevant
On a multilattice analogue of a hypersequent S5 calculus
In this paper, we present a logic MMLS5n which is a combination of multilattice logic and modal logic S5. MMLS5n is an extension of Kamide and Shramko’s modal multilattice logic which is a multilattice analogue of S4. We present a cut-free hypersequent calculus for MMLS5n in the spirit of Restall’s one for S5 and develop a Kripke semantics for MMLS5n, following Kamide and Shramko’s approach. Moreover, we prove theorems for embedding MMLS5n into S5 and vice versa. As a result, we obtain completeness, cut elimination, decidability, and interpolation theorems for MMLS5n. Besides, we show the duality principle for MMLS5n. Additionally, we introduce a modification of Kamide and Shramko’s sequent calculus for their multilattice version of S4 which (in contrast to Kamide and Shramko’s original one) proves the interdefinability of necessity and possibility operators. Last, but not least, we present Hilbert-style calculi for all the logics in question as well as for a larger class of modal multilattice logics
X-ray study of the liquid potassium surface: structure and capillary wave excitations
We present x-ray reflectivity and diffuse scattering measurements from the
liquid surface of pure potassium. They strongly suggest the existence of atomic
layering at the free surface of a pure liquid metal with low surface tension.
Prior to this study, layering was observed only for metals like Ga, In and Hg,
the surface tensions of which are 5-7 fold higher than that of potassium, and
hence closer to inducing an ideal "hard wall" boundary condition. The
experimental result requires quantitative analysis of the contribution to the
surface scattering from thermally excited capillary waves. Our measurements
confirm the predicted form for the differential cross section for diffuse
scattering, where , over a range of and that is larger than
any previous measurement. The partial measure of the surface structure factor
that we obtained agrees with computer simulations and theoretical predictions.Comment: 7 pages, 7 figures; published in Phys. Rev.
Basic Four-Valued Systems of Cyclic Negations
We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as an operation which acts like a cycling negation. We define two variants of logical matrices performing different orders over the set of truth values. Purely formal logical result of our study consists in axiomatizing the logics of defined matrices as the systems of binary consequence relation and proving correctness and completeness theorems for these deductive systems
Surface Crystallization in a Liquid AuSi Alloy
X-ray measurements reveal a crystalline monolayer at the surface of the
eutectic liquid Au_{82}Si_{18}, at temperatures above the alloy's melting
point. Surface-induced atomic layering, the hallmark of liquid metals, is also
found below the crystalline monolayer. The layering depth, however, is
threefold greater than that of all liquid metals studied to date. The
crystallinity of the surface monolayer is notable, considering that AuSi does
not form stable bulk crystalline phases at any concentration and temperature
and that no crystalline surface phase has been detected thus far in any pure
liquid metal or nondilute alloy. These results are discussed in relation to
recently suggested models of amorphous alloys.Comment: 12 pages, 3 figures, published in Science (2006
- …